#include <stdio.h>
void print_C(char *string) /* equivalent: char string[]  */
{
  printf("%s\n", string);
                                      }
